Automatic generation produced by ISE Eiffel

ClassesClustersCluster hierarchyChartRelationsTextContracts
indexing
    description: "Root class for this application."
    author: "Timon Hertli"
    date: "$Date: 2005/1/7 18:8:41 $"
    revision: "1.0.0"

class 
    APPLICATION

inherit
    EV_APPLICATION

create 
    make_and_launch

feature {NONE} -- Initialization

    make_and_launch is
            -- Initialize and launch application
        do
            default_create
            prepare
            launch
        end

    prepare is
            -- Prepare the first window to be displayed.
            -- Perform one call to first window in order to
            -- avoid to violate the invariant of class EV_APPLICATION.
        do
            create first_window
            first_window.show
        end
    
feature {NONE} -- Implementation

    first_window: MAIN_WINDOW
            -- Main window.
    
end -- class APPLICATION
ClassesClustersCluster hierarchyChartRelationsTextContracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com